Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
21	ABOUT MANUSCRIPTS FOR IJ ITA Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:47:02 Information technology Information Computing Business intelligence Computational statistics Data management Formal sciences Group method of data handling Pentaho Predictive analytics Predictive Model Markup Language Data mining
22	Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-21 06:02:19 Theoretical computer science Software engineering Programming language theory Logic in computer science Proof assistants Formal methods Automated theorem proving Isabelle Satisfiability modulo theories ACL2 Curry Logic for Computable Functions
23	Understanding Ambiguous Language in Context-Aware Mobile Querying Joel Booth Barbara Di Eugenio Add to Reading List Source URL: nlp.cs.uic.edu Language: English - Date: 2013-03-02 15:00:28 Information science Computing Semantic Web Computational linguistics Information Knowledge representation Technical communication Knowledge engineering Ontology WordNet Formal ontology Natural language user interface
24	Microsoft Word - Intro to Biomedical Ontologies Poster.doc Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2007-11-21 11:05:49 Ontology Academia Information science Knowledge OBO Foundry Barry Smith Formal ontology Web Ontology Language Open Biomedical Ontologies Draft:Outline of ontologies Gene ontology Upper ontology
25	Formalizing Symbolic Decision Procedures \| {z in Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-11-16 04:08:00 Formal languages Regular language Regular expression Brzozowski derivative Symbol Theoretical computer science Grammar Metalogic
26	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.2.B-1 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-03-07 09:24:09 Computing Software engineering Technology Formal methods Product development Project management Scientific modeling Logic in computer science Software development Information model Modeling language Entityrelationship model
27	AIRS Project Ontologies Ron Rudnicki The Actionable Intelligence Retrieval System (AIRS) is an integrated collection of applications designed to extract knowledge from a large number of widely varied d Add to Reading List Source URL: ncor.buffalo.edu Language: English - Date: 2012-01-20 17:00:40 Ontology Information science Knowledge representation Technical communication Information Knowledge Semantic Web Upper ontology Formal ontology OBO Foundry Web Ontology Language Draft:Outline of ontologies
28	1 Chomsky Hierarchy Grammars for each task Add to Reading List Source URL: courses.engr.illinois.edu Language: English - Date: 2013-03-26 15:21:23 Formal languages Grammar Language Cognitive science Formal grammar Noncontracting grammar Regular language Chomsky hierarchy Context-free language LL grammar Indexed grammar Context-sensitive grammar
29	TECHNICAL REPORT TRJuneCONCR ETE SYNTAX OF PL / 1 Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2014-03-06 06:36:07 Software engineering Computer programming Computing Formal languages Compiler construction Procedural programming languages IBM software PL/I BackusNaur form Syntax Programming language Formal grammar
30	Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:37 Formal methods Software engineering Unified Modeling Language Concurrency Concurrency control Construction and Analysis of Distributed Processes Synchronization Theoretical computer science UML tool Mentor Graphics Computing